Supratik Chakraborty: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Symbolic trajectory evaluation for word-level verification: theory and implementation

Chakraborty, Supratik, Khasidashvili, Zurab, Seger, Carl-Johan H., Gajavelly, Rajkumar, Haldankar, Tanmay, Chhatani, Dinesh, Mistry, Rakesh

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.00 MB

english, 2017

2

Codon Usage Bias Analysis of Citrus tristeza Virus: Higher Codon Adaptation to Citrus reticulata Host

Biswas, Kajal, Palchoudhury, Supratik, Chakraborty, Prosenjit, Bhattacharyya, Utpal, Ghosh, Dilip, Debnath, Palash, Ramadugu, Chandrika, Keremane, Manjunath, Khetarpal, Ravi, Lee, Richard

Journal:

Year:

2019

Language:

english

File:

PDF, 2.33 MB

english, 2019

3

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 12031 (11th International Conference, VSTTE 2019, New York City, NY, USA, July 13â14, 2019, Revised Selected Papers) ||

Chakraborty, Supratik, Navas, Jorge A.

Year:

2020

File:

PDF, 9.21 MB

2020

4

Boolean functional synthesis: hardness and practical algorithms

Akshay, S., Chakraborty, Supratik, Goel, Shubham, Kulal, Sumith, Shah, Shetal

Journal:

Formal Methods in System Design

Year:

2020

File:

PDF, 1.07 MB

2020

5

Efficient algorithms for approximate time separation of events

Supratik Chakraborty, David L. Dill, Kenneth Y. Yun

Journal:

Year:

2002

Language:

english

File:

PDF, 231 KB

english, 2002

6

Efficient guided symbolic reachability using reachability expressions

Dina Thomas, Supratik Chakraborty, Paritosh Pandya

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 598 KB

english, 2008

7

Reasoning about synchronization in GALS systems

Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 487 KB

english, 2006

8

Refining abstract interpretations

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 184 KB

english, 2010

9

A six-year old with fatal pulmonary embolism

Arani V Sridhar, K Naveen Rao, Supratik Chakraborty

Journal:

Acta Paediatrica

Year:

2005

Language:

english

File:

PDF, 57 KB

english, 2005

10

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 66 || Variable Probabilistic Abstraction Refinement

Chakraborty, Supratik, Mukund, Madhavan

Year:

2012

Language:

english

File:

PDF, 319 KB

english, 2012

11

Mosquito larvicidal effect of orthophosporic acid and lactic acid individually or their combined form on Aedes aegypti

Supratik Chakraborty, Someshwar Singha, Goutam Chandra

Journal:

Asian Pacific Journal of Tropical Medicine

Year:

2010

Language:

english

File:

PDF, 237 KB

english, 2010

12

Some case studies on application of “ r m 2 ” metrics for judging quality of quantitative structure-activity relationship predictions: Emphasis on scaling of response data

Roy, Kunal, Chakraborty, Pratim, Mitra, Indrani, Ojha, Probir Kumar, Kar, Supratik, Das, Rudra Narayan

Journal:

Journal of Computational Chemistry

Year:

2013

Language:

english

File:

PDF, 1.26 MB

english, 2013

13

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis || Verification of Computer Switching Networks: An Overview

Chakraborty, Supratik, Mukund, Madhavan

Year:

2012

Language:

english

File:

PDF, 467 KB

english, 2012

14

Higgs inflation from new Kähler potential

Choudhury, Sayantan, Chakraborty, Trina, Pal, Supratik

Journal:

Nuclear Physics B

Year:

2014

Language:

english

File:

PDF, 583 KB

english, 2014

15

[IEEE 2007 IEEE International Workshop on Microprocessor Test and Verification (MTV) - Austin, TX, USA (2007.12.5-2007.12.6)] 2007 Eighth International Workshop on Microprocessor Test and Verification - A Scalable Symbolic Simulator for Verilog RTL

Sunkari, Sasidhar, Chakraborty, Supratik, Vedula, Vivekananda, Maneparambil, Kailasnath

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

16

[IEEE 2013 IEEE Conference on Computer Aided Control System Design (CACSD) - Hyderabad, India (2013.08.28-2013.08.30)] 2013 IEEE Conference on Computer Aided Control System Design (CACSD) - Improving approximate reachability by dynamic interleavings of projections-based algorithms

Jayasankar, Seetha, Chakraborty, Supratik

Year:

2013

Language:

english

File:

PDF, 304 KB

english, 2013

17

Homozygous mutations in the SCN1A gene associated with genetic epilepsy with febrile seizures plus and Dravet syndrome in 2 families

Brunklaus, Andreas, Ellis, Rachael, Stewart, Helen, Aylett, Sarah, Reavey, Eleanor, Jefferson, Ros, Jain, Rakesh, Chakraborty, Supratik, Jayawant, Sandeep, Zuberi, Sameer M.

Journal:

European Journal of Paediatric Neurology

Year:

2015

Language:

english

File:

PDF, 521 KB

english, 2015

18

A six-year old with fatal pulmonary embolism

Sridhar, Arani, Rao, K, Chakraborty, Supratik

Journal:

Acta Paediatrica

Year:

2005

Language:

english

File:

PDF, 63 KB

english, 2005

19

Fite-Faraco staining in combination with multiplex polymerase chain reaction: A new approach to leprosy diagnosis

Bhattacharya, Basudev, Reja, Abu HenaHasanoor, Dasgupta, Sarbani, Chowdhury, ImranHussain, Chakraborty, Tapas, Dutta, PijushKumar, Biswas, Nibir, Biswas, Supratik, Banerjee, Surajita

Journal:

Indian Journal of Dermatology Venereology and Leprology

Year:

2013

Language:

english

File:

PDF, 1.49 MB

english, 2013

20

Bottom-up shape analysis using LISF

Gulavani, Bhargav S., Chakraborty, Supratik, Ramalingam, G., Nori, Aditya V.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 1.15 MB

english, 2011

21

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Balancing Scalability and Uniformity in SAT Witness Generator

Chakraborty, Supratik, Meel, Kuldeep S., Vardi, Moshe Y.

Year:

2014

Language:

english

File:

PDF, 184 KB

english, 2014

22

A generalization of the Łoś–Tarski preservation theorem

Sankaran, Abhisekh, Adsul, Bharat, Chakraborty, Supratik

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 603 KB

english, 2016

23

A layered algorithm for quantifier elimination from linear modular constraints

John, Ajith K., Chakraborty, Supratik

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 2.03 MB

english, 2016

24

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Skolem functions for factored formulas

John, Ajith K., Shah, Shetal, Chakraborty, Supratik, Trivedi, Ashutosh, Akshay, S.

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

25

[IEEE 2019 Formal Methods in Computer Aided Design (FMCAD) - San Jose, CA, USA (2019.10.22-2019.10.25)] 2019 Formal Methods in Computer Aided Design (FMCAD) - Knowledge Compilation for Boolean Functional Synthesis

Akshay, S., Arora, Jatin, Chakraborty, Supratik, Krishna, S., Raghunathan, Divya, Shah, Shetal

Year:

2019

File:

PDF, 827 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски